Kopftuchstreit endet mit Vergleich